A Survey of Current, Stand-alone OWL Reasoners
نویسندگان
چکیده
We present a survey of the current OWL reasoner landscape. Through literature and web search we have identified 35 OWL reasoners that are, at least to some degree, actively maintained. We conducted a survey directly addressing the respective developers, and collected 33 responses. We present an analysis of the survey, characterising all reasoners across a wide range of categories such as supported expressiveness and reasoning services. We will also provide some insight about ongoing research efforts and a rough categorisation of reasoner calculi.
منابع مشابه
ELK Reasoner: Architecture and Evaluation
ELK is a specialized reasoner for the lightweight ontology language OWL EL. The practical utility of ELK is in its combination of high performance and comprehensive support for language features. At its core, ELK employs a consequence-based reasoning engine that can take advantage of multi-core and multi-processor systems. A modular architecture allows ELK to be used as a stand-alone applicatio...
متن کاملA Platform for Reasoning with OWL-EL Knowledge Bases in a Peer-to-Peer Environment
Memory exhaustion is a common problem in tableau-based OWL reasoners, when reasoning with large ontologies. One possible solution is to distribute the reasoning task across multiple machines. In this paper, we present, as preliminary work, a prototypical implementation for distributing OWL-EL ontologies over a Peer-to-Peer network, and reasoning with them in a distributed manner. The algorithms...
متن کاملPROSE: A Plugin-Based Paraconsistent OWL Reasoner
The study of paraconsistent reasoning with ontologies is especially important for the Semantic Web since knowledge is not always perfect within it. Quasi-classical semantics is proven to rationally draw more meaningful conclusions even from an inconsistent ontology with the stronger inference power of paraconsistent reasoning. In our previous work, we have conceived a quasi-classical framework ...
متن کاملA Pair of OWL 2 RL Reasoners
OWL 2 RL is an expressive OWL profile designed to be amenable to implementation using conventional rule-based technologies. The profile specification provides a direct pathway to develop OWL reasoners using offthe-shelf rule engines. In this paper, we describe our experiences developing two OWL 2 RL reasoners using the popular Jess and Drools rule systems. A useful feature of these implementati...
متن کاملNonlinear Control for Positive Output Super Lift Luo Converter in Stand Alone Photovoltaic System
This paper proposes a stand-alone photovoltaic (PV) system based on a DC-DC positive output super lift Luo (POSLL) converter. A conventional sliding mode control, a sliding mode controller using a simple sign function and a linear controller using proportional integrator (PI) are used for the control of the PV panel voltage and POSLL converter inductor current and these methods are compared tog...
متن کامل